formalized model meaning in Chinese

形式化模型

Confronting the increasing complex information process and the distributional application execution environment , the workflow needs to provide the formalized modeling method , which makes it much clearer to define and analyze formalized on the executive process without any confusion
面对日益复杂的信息处理和分布式的应用执行环境,工作流需要提供形式化的建模方法,这样有利于对业务流程进行清晰、易懂、无二义性的定义和形式化的分析。
The idea of three - views is applied to the analysis and process of dnc system , and a formalized model based on dnc system is established . a class model of dnc system is built based on the formalized description of dnc . a system solution , which enables the reuse of resource , is put forward , and the efficiency of system design and development is greatly improved
应用现场总线技术和agent技术，提出一种基于代理体技术的dnc系统模型，为自动化车间实现设备集成开辟了有效途径；建立了设备集成通用模型；形式化描述了监控agent ，并建立基于软插件技术的agent模型；运用机械制图中三视图的表达思想对dnc系统的功能结构进行了分析，建立了dnc系统的形式模型，对dnc系统进行了形式化的描述，建立了dnc系统的类表示模型，并提出了一种资源可重用的dnc系统解决方案，使系统设计和开发的效率得以大大提高。